On the equivalence problem for letter-to-letter top-down tree transducers
نویسندگان
چکیده
منابع مشابه
On the Equivalence Problem for Letter-to-Letter Top-Down Tree Transducers
Letter to letter top-down tree transducers are investigated in this paper. Informally, trees which appear in the rules of such transducers are reduced to one letter in the right-hand side as in the left one. With an encoding of the tree transformations induced by such transducers into recognizable forests, we recently established the decidability of equivalence for linear top-down transducers. ...
متن کاملThe Equivalence Problem for Letter-to-Letter Bottom-up Tree Transducers is Solvable
Letter-to-letter bottom-up tree transducers are investigated in this paper. With an encoding of the so deened tree transformations into relabelings, we establish the decidability of equivalence for this class of tree transducers. Some extensions are next given.
متن کاملTop-Down Tree-To-Graph Transducers
We introduce a new syntax-directed translation device called top-down treeto-graph transducer. Such transducers are very similar to the usual top-down tree trans ducers except that the right-hand sides of their rules are hypergraphs rather than trees. Since we are aiming at a device which also allows to translate trees into objects ditTerent from graphs, we focus our attention on so-called tree...
متن کاملThe Equivalence of Bottom-Up and Top-Down Tree-to-Graph Transducers
We introduce the bottom-up tree-to-graph transducer, which is very similar to the usual (total deterministic) bottom-up tree transducer except that it translates trees into hypergraphs rather than trees, using hypergraph substitution instead of tree substitution. If every output hypergraph of the transducer is a jungle, i.e., a hypergraph that can be unfolded into a tree, then the tree-to-graph...
متن کاملComposing extended top-down tree transducers
A composition procedure for linear and nondeleting extended top-down tree transducers is presented. It is demonstrated that the new procedure is more widely applicable than the existing methods. In general, the result of the composition is an extended top-down tree transducer that is no longer linear or nondeleting, but in a number of cases these properties can easily be recovered by a post-pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1998
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(97)00080-7